منابع مشابه
Die Markttransparenzstelle für Kraftstoffe in Deutschland
Abweichungen von wettbewerblichem Verhalten auf den Agrarund Kraftstoffmärkten sind immer wieder Gegenstand von wissenschaftlichen und legislativen Untersuchungen. Zur Stärkung des Wettbewerbs auf dem deutschen Kraftstoffmarkt wurde 2013 die Markttransparenzstelle (MTS) geschaffen. Die MTS ermöglicht u.a. dem Bundeskartellamt (BKartA) die verbesserte Ermittlung unzulässiger Verdrängungsstrategi...
متن کاملCTL and Equivalent Sublanguages of CTL
Specifications of finite state algorithms with a complex temporal behavior such as protocols or hardware systems are often given in temporal logics as e.g. CTL or CTL . On the one hand, CTL offers in comparison to CTL efficient model checking algorithms, but on the other hand, CTL seems to suffer from a limited expressiveness. In this paper, it is shown that the limitations one feels when using...
متن کاملCTL+ is Exponentially more Succinct than CTL
It is proved that CTL+ is exponentially more succinct than CTL. More precisely, it is shown that every CTL formula (and every modal -calculus formula) equivalent to the CTL+ formula E(Fp0 ^ ^ Fpn 1) is of length at least n dn=2e , which is (2n=pn). This matches almost the upper bound provided by Emerson and Halpern, which says that for every CTL+ formula of length n there exists an equivalent C...
متن کاملNeues aus den Hochschulen
Am Fachbereich Informatik der Technischen Universität Kaisers lautern war eine W3Professur für Informatik mit dem Schwerpunkt Künstliche Intelligenz spätestens zum Wintersemester 2007/08 zu besetzen. Die Position ist mit einer Leitungsfunktion am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Kaiserslautern verbunden. Die Forschungs interessen des Bewerbers/der Bewerberin s...
متن کاملTomographie aus Compton-Streustrahlung
Kurzfassung. Wir leiten einen Rekonstruktionsalgorithmus zur Streustrahlungstomographie her. Eine schnelle Monte-Carlo Simulation dient in jedem Iterationsschritt der bilderzeugenden Vorwärtsprojektion. Numerische Experimente werden für ein System aus rotierender Röntgenquelle und winkelversetzter Gammakamera durchgeführt. Die dreidimensionalen Rekonstruktionen untersuchen wir auf ihre Korrekth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemie Ingenieur Technik
سال: 2009
ISSN: 0009-286X,1522-2640
DOI: 10.1002/cite.200950478